// #define USE_MTBDD
// #define USE_BDD
// #define USE_NANOBDD
#define USE_NANOBDD_PRO